前件肯定式 modus ponens